branded formulation of atorvastatin (Lipitor®)